The quantale of Galois connections

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extensions of Galois Connections

Galois connections play a very important role in the theory of continuous lattices and their various generalizations. (See, for example, [1], [2], [a], [4], [5], [7] and [9].) Morphisms of continuous lattices, as defined in [2], are precisely those upper adjoints of Galois connections which preserve directed sups. In [1] Bandelf and Ernd suggested that the right choice of morphisms for Z-contin...

متن کامل

Fuzzy Galois Connections

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided. 1...

متن کامل

Galois Connections with Hedges

We introduce (fuzzy) Galois connections with hedges. Fuzzy Galois connections are basic structures behind so-called formal concept analysis of data with fuzzy attributes. Introducing hedges to Galois connections means introducing two parameters. The parameters influence the size of the set of all the fixpoints of a Galois connection. In the sense of formal concept analysis, the fixpoints, calle...

متن کامل

Programming from Galois Connections

Problem statements often resort to superlatives such as in eg. “. . . the smallest such number”, “. . . the best approximation”, “. . . the longest such list” which lead to specifications made of two parts: one defining a broad class of solutions (the easy part) and the other requesting the optimal such solution (the hard part). This paper introduces a binary relational combinator which mirrors...

متن کامل

Lagois Connections - a Counterpart to Galois Connections

In this paper we deene a Lagois connection, which is a generalization of a special type of Galois connection. We begin by introducing two examples of Lagois connections. We then recall the deenition of Galois connection and some of its properties; next we deene Lagois connection, establish some of its properties, and compare these with properties of Galois connections; and then we (further) dev...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: algebra universalis

سال: 2005

ISSN: 0002-5240,1420-8911

DOI: 10.1007/s00012-004-1901-1